Современная западная философия - гёдель (godel) курт
Связанные словари
Гёдель (godel) курт
Вторая теорема гласит, что если формальная система непротиворечива, то невозможно доказать ее непротиворечивость средствами, формализуемыми в этой системе. На этих теоремах базируются многие важные результаты в рамках математической логики, теории доказательств, а также выводы методологического и гносеологического характера. По выражению С.К. Клини, они несут в себе целую программу и философию математики. Теоремы зачастую рассматриваются как достаточно строгое обоснование принципиальной невозможности полной формализации научных рассуждений и научного знания в целом.
Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств // Успехи математических наук. 1948. Вып. 3. № 1; Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systems I, Monatshefte fur Mathematik und Physik, 38, 1931; The consistency of the axiom of shoice and of the generalized continuum-hipothesis with the axioms of set theory. Princeton, 1940; см. также библиографию в: Клини С.К. Введение в математику. М., 1957.
Вопрос-ответ:
Самые популярные термины
1 | 2356 | |
2 | 1912 | |
3 | 1873 | |
4 | 1518 | |
5 | 1390 | |
6 | 1277 | |
7 | 1272 | |
8 | 1178 | |
9 | 1176 | |
10 | 1160 | |
11 | 1113 | |
12 | 1078 | |
13 | 1056 | |
14 | 991 | |
15 | 987 | |
16 | 931 | |
17 | 894 | |
18 | 859 | |
19 | 830 | |
20 | 763 |